<?php

function print_header($title)
{
	if(!isset($title)) $title = "Findr";
	echo '<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN"'."\n".
    '"http://www.w3.org/TR/html4/strict.dtd">'."\n\n".
    '<html>'."\n".
    '    <head>'."\n".
    '        <meta http-equiv="content-type" content="text/html; charset=iso-8859-1">'."\n\n".
    '        <link rel="stylesheet" type="text/css" href="style.css">'."\n\n".
    '    <title>' . $title . '</title>'."\n\n".
    '    </head>'."\n\n".
    '    <body><div id="container">'."\n\n";
}

function print_footer()
{
	echo '</div></body></html>';
}